Optimal Selfish Mining Strategies in Bitcoin Ayelet Sapirshtein1 , Yonatan Sompolinsky1 , and Aviv Zohar1,2 1 School of Engineering and Computer Science, The Hebrew University of Jerusalem, Israel

Source URL: www.cs.huji.ac.il

Modal Logics Definable by Universal Three-Variable Formulas Emanuel Kieroński∗ , Jakub Michaliszyn∗ , and Jan Otop Institute of Computer Science University of Wrocław {kiero,jmi,jotop}@cs.uni.wroc.pl

Source URL: drops.dagstuhl.de

Secure Information Flow in a Multi-threaded Imperative Language Geoffrey Smith School of Computer Science Florida International University Miami, FL 33199, USA

Source URL: users.cis.fiu.edu

A BRAM H INDLE Associate Professor Department of Computing Science University of Alberta 4-47 Athabasca Hall Edmonton, Alberta

Source URL: softwareprocess.es

Alex Sanchez-Stern Curriculum Vitae Education 2016–Present Doctor of Philosophy, Computer Science, University of California, San Diego. 2015–2016 Masters of Science, Computer Science, The University of Washington.

Source URL: alex.uwplse.org

• Computer engineering
• Computer science
• Electrical engineering
• Electronic engineering
• Thesis
• Emmy Noether
• Tatlock
• Education
• Knowledge
• Science and technology in Germany

KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C

Source URL: sist.shanghaitech.edu.cn

DC Proposal: Towards Linked Data Assessment and Linking Temporal Facts Anisa Rula University of Milano-Bicocca, Department of Computer Science, Systems and Communication (DISCo), Innovative Techonologies for Interaction

Source URL: iswc2011.semanticweb.org

McCormick Robert R. McCormick School of Engineering and Applied Science Northwestern University

Source URL: www.borella.net

Bio of James E. “Jeb” Brown Jeb is a graduate of Cal State University, San Bernardino with a B S in Political Science. He obtained his Juris Doctor from the McGeorge School of Law, University of the Pacific. He is li

Source URL: www.aele.org

PROCEEDINGS, CICROWD MEMORY: LEARNING IN THE COLLECTIVE Walter S. Lasecki, Samuel C. White, Kyle I. Murray, and Jeffrey P. Bigham University of Rochester Department of Computer Science ROC HCI Lab

Source URL: web.eecs.umich.edu